Hans Jürgen Ohlbach : rechercher sur Z-Library

Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Libre accès à la connaissance et à la culture.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Livres (17)
Les plus populaires
Liste
- Liste
- Tableau

1

Handbook of the Logic of Argument and Inference: The Turn Towards the Practical

Handbook of the Logic of Argument and Inference: The Turn Towards the Practical

Dov M. Gabbay, Ralph H. Johnson, Hans Jürgen Ohlbach, John Woods (Eds.)

Année:

2002

Langue:

english

Fichier:

DJVU, 3.50 MB

0 / 0

english, 2002

2

Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings

Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Morten Ulrik Sørensen, Odd Erik Hansen, Hans Henrik Løvengreen (auth.), Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)

Année:

1994

Langue:

english

Fichier:

PDF, 8.69 MB

0 / 0

english, 1994

3

Principles and Practice of Semantic Web Reasoning: Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings

Principles and Practice of Semantic Web Reasoning: Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

François Bry, Włodzimierz Drabent (auth.), Hans Jürgen Ohlbach, Sebastian Schaffert (eds.)

Année:

2004

Langue:

english

Fichier:

DJVU, 1.56 MB

0 / 0

english, 2004

4

Principles and Practice of Semantic Web Reasoning: Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings

Principles and Practice of Semantic Web Reasoning: Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

François Bry, Włodzimierz Drabent (auth.), Hans Jürgen Ohlbach, Sebastian Schaffert (eds.)

Année:

2004

Langue:

english

Fichier:

PDF, 3.90 MB

0 / 0

english, 2004

5

Handbook of the Logic of Argument and Inference: The Turn Towards the Practical

Handbook of the Logic of Argument and Inference: The Turn Towards the Practical

Dov M. Gabbay, Ralph H. Johnson, Hans Jürgen Ohlbach, John Woods (Eds.)

Année:

2002

Langue:

english

Fichier:

PDF, 3.24 MB

0 / 0

english, 2002

6

Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker

Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker

Springer Vieweg

Hans Jürgen Ohlbach, Norbert Eisinger

Année:

2017

Langue:

german

Fichier:

PDF, 2.08 MB

0 / 0

german, 2017

7

Logic, Language and Reasoning: Essays in Honour of Dov Gabbay

Logic, Language and Reasoning: Essays in Honour of Dov Gabbay

Hans Jürgen Ohlbach, Uwe Reyle (eds.)

Année:

1999

Langue:

english

Fichier:

PDF, 2.83 MB

0 / 0

english, 1999

8

Logic, Language and Reasoning: Essays in Honour of Dov Gabbay

Logic, Language and Reasoning: Essays in Honour of Dov Gabbay

Hans Jürgen Ohlbach, Uwe Reyle (eds.)

Année:

1999

Langue:

english

Fichier:

PDF, 16.66 MB

0 / 0

english, 1999

9

Qualitative and Quantitative Practical Reasoning: First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 Bad Honnef, Germany, June 9–12, 1997 Proceedings

Qualitative and Quantitative Practical Reasoning: First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 Bad Honnef, Germany, June 9–12, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Alain Appriou (auth.), Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Jürgen Ohlbach (eds.)

Année:

1997

Langue:

english

Fichier:

DJVU, 5.37 MB

0 / 0

english, 1997

10

Practical Reasoning: International Conference on Formal and Applied Practical Reasoning, FAPR'96 Bonn, Germany, June 3–7, 1996 Proceedings

Practical Reasoning: International Conference on Formal and Applied Practical Reasoning, FAPR'96 Bonn, Germany, June 3–7, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Carine Van den Acker, Jan Vanthienen (auth.), Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)

Année:

1996

Langue:

english

Fichier:

DJVU, 6.94 MB

0 / 0

english, 1996

11

Deductive and Object-Oriented Databases: 5th International Conference, DOOD'97 Montreux, Switzerland, December 8–12, 1997 Proceedings

Deductive and Object-Oriented Databases: 5th International Conference, DOOD'97 Montreux, Switzerland, December 8–12, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Hans Jürgen Ohlbach (auth.), François Bry, Raghu Ramakrishnan, Kotagiri Ramamohanarao (eds.)

Année:

1997

Langue:

english

Fichier:

DJVU, 4.50 MB

0 / 0

english, 1997

12

Qualitative and Quantitative Practical Reasoning: First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 Bad Honnef, Germany, June 9–12, 1997 Proceedings

Qualitative and Quantitative Practical Reasoning: First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 Bad Honnef, Germany, June 9–12, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Alain Appriou (auth.), Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Jürgen Ohlbach (eds.)

Année:

1997

Langue:

english

Fichier:

PDF, 9.15 MB

0 / 0

english, 1997

13

Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings

Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Morten Ulrik Sørensen, Odd Erik Hansen, Hans Henrik Løvengreen (auth.), Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)

Année:

1994

Langue:

english

Fichier:

DJVU, 5.00 MB

0 / 0

english, 1994

14

GWAI-92: Advances in Artificial Intelligence: 16th German Conference on Artificial Intelligence Bonn, Germany, August 31 – September 3, 1992 Proceedings

GWAI-92: Advances in Artificial Intelligence: 16th German Conference on Artificial Intelligence Bonn, Germany, August 31 – September 3, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

D. M. Gabbay (auth.), Hans Jürgen Ohlbach (eds.)

Année:

1993

Langue:

english

Fichier:

DJVU, 4.31 MB

0 / 0

english, 1993

15

Logic, Language and Reasoning: Essays in Honour of Dov Gabbay

Logic, Language and Reasoning: Essays in Honour of Dov Gabbay

Hans Jürgen Ohlbach, Uwe Reyle (eds.)

Année:

1999

Langue:

english

Fichier:

DJVU, 3.19 MB

0 / 0

english, 1999

16

GWAI-92: Advances in Artificial Intelligence: 16th German Conference on Artificial Intelligence Bonn, Germany, August 31 – September 3, 1992 Proceedings

GWAI-92: Advances in Artificial Intelligence: 16th German Conference on Artificial Intelligence Bonn, Germany, August 31 – September 3, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

D. M. Gabbay (auth.), Hans Jürgen Ohlbach (eds.)

Année:

1993

Langue:

english

Fichier:

PDF, 6.83 MB

0 / 0

english, 1993

17

Principles and Practice of Semantic Web Reasoning: Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings

Principles and Practice of Semantic Web Reasoning: Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

François Bry, Włodzimierz Drabent (auth.), Hans Jürgen Ohlbach, Sebastian Schaffert (eds.)

Année:

2004

Langue:

english

Fichier:

PDF, 1.58 MB

0 / 0

english, 2004